[red_trumpet]

Isn't the proof just claiming that you can't divide an integet infinitely many times by 2, and still expect it to be an integer?