Fermat's Last Theorem implies √2 is irrational @numberphile @Aleph0 @3blue1brown