[MS_proof.png]