A 3 B 3 C 3 3abc Formula Proof