A B 3 Formula Proof