Comment by A concerned citizen on badtiming220

@badtiming220 I was just thinking that was odd. I'm not familiar with the theorem, but as the current text stands, it is easily solvable.