(a B)3 Formula Proof