背理法を使用するために仮定しているのはA。
A⇒Bは偽なので、Bを使うことはできません。
奇数の完全数について「複数存在する」は証明しない限り使うことはできず、
奇数の完全数に依存する奇素数pについても同様です。