A B C 2 Formula Proof