Step in proof of "Does $G\times K\cong H\times K$ imply $G\cong H$?"

73 Views Asked by At

I would like to know the idea behind the induction proof in the this question. I added a comment to the answer, but the author has not been active for a year.