Proof 1/2 is undefined