Proof: Cosets Partition the Group | Abstract Algebra