I-GREEN - Proofs