We can easily determine from (2) and (6) that
n > 0, and from Lemma 1 followed by scaling, that
n is a congruent number whose associated elliptic
curve has rank at least 2 with at most finitely many
exceptions. Furthermore this congruent number n
satisfies n aðmodmÞ. Moreover we can find an
infinite subset of these numbers n which are
inequivalent modulo squares. Otherwise there
would exist a finite set of nonzero rational numbers fdi; i ¼ 1; . . . ; kg which are inequivalent modulo
squares, such that for each value of x in (6) we
would have,