Lemma 1.2. Assuming that:

$D \in ℚ_{> 0}$

Then

D

is congruent if and only if

D y^{2} = x^{3} - x

for some

x, y \in ℚ

,

y \neq 0

.