God, this site is a spiritual mind-meld of crankness. I spent two hours trying to understand this disproof and found the it rested on rejecting that if a == b and c == d, then a - b = c - d