Proof Using Fx Squared Away