A B C 3 Formula Proof