ふと気になったのですが、
もし奇数の完全数XがX＝p0^q0だったとしたら、
これは高校数学程度の知識でそのようなp0が存在しないことが証明できるかと思いますが、
では、X=(p0^q0)・(p1^q1)であった場合、
そのようなp0,p1が存在しないことは証明できるでしょうか。