F3E - Proofs