Who first explicitly stated the link between $N$ being a congruent number and the existence of rational points of infinite order on $y^2=x(x^2-N^2)$?