There doesn't exist a rational number r such that r²=2