Element Commutes with Square in Group/Proof 1