Circle Group is Group/Proof 1