Lemma 6 We have
and
Lemma 6 We have
and
Prove that when , all solutions of the indeterminate equation (20) are
When , all solutions are
This leads to equation (23). The primitive solutions of the indeterminate equation (20) must satisfy
Therefore, when , it must be that
and are non-negative primitive solutions of (20). Thus, when , the non-negative primitive solutions of the indeterminate equation (20) must be positive, and give four different primitive solutions of (20). This proves equation (24). Finally, to prove equation (25). Suppose are solutions of (20), . Then, it must be that , and are
primitive solutions, and different solutions correspond to different solutions . Conversely, let , . If are a set of primitive solutions of (27), then are solutions of (20), and different solutions correspond to different solutions . This proves equation (25). Q.E.D.