Circle Group is Group/Proof 2