MT9U2L4 - Proofs