Circle Group is Group/Proof 4