Thus, assuming the converse in the proof of the necessity of Statement 3.3 and applying the traditional (in number theory) descent method, we have obtained a contradiction in the case a1 > 2. Thus, the necessity of Statement 3.3 is proved and so is Statement 3.3.