Mirror Formula Formal Proof