E-Max - Proofs