Comment by stabbles
10 hours ago
Now /simplify. Can it be half the size? Will someone at some point prove that the proof cannot be simplified further?
10 hours ago
Now /simplify. Can it be half the size? Will someone at some point prove that the proof cannot be simplified further?
Yes. FLT follows from the fact that you can't build the equivalent representation of n-simplex turning into a hypercube in dimensions higher than 2
/s