Alpha Beta 2 Gamma 3 Proof