there are no natural number solutions to the equation x²-y²=1.​