Circle Group is Group/Proof 3