Abstract algebra is visual, but few text solutions acknowledge this. A better solution would include:
"Let H be a subgroup of G. Prove that the number of left cosets of H is equal to the number of right cosets of H." a book of abstract algebra pinter solutions better