Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@ThomasKojar thank you very much. I doubt it is a typo since it is written half a dozen times. I have no idea how to contact the author but I will try. Were you able to follow the proof ignoring it?
