(Abstract Algebra 1) Basic Group Proof 2