[ProofGeneral[3].jpg]