albert einstein complex number conjecture counterexample doubling the cube euclidean geometry finite set formal system indeterminate form infinity invalid proof list of amateur mathematicians logical possibility lossless data compression mathematical induction mathematics perpetual motion physics prime number problem squaring the circle theorem underwood dudley