Re:Division By Three (2006)
by lisper on Sunday April 27, 2014 @05:11PM
(#7656900)
> If 3x = 3y, then x = y. (and that's all)
No, that's not quite all. They prove it 1) even if x and y are infinite and 2) without resorting to the axiom of choice. It is those two things that make it interesting.
No, that's not quite all. They prove it 1) even if x and y are infinite and 2) without resorting to the axiom of choice. It is those two things that make it interesting.