Inverse of Group Product/Proof 1