aとbははじめはpkとqkから定まる定数。
その後pがaとbの関数として表されるため、はじめにb
変数と考えて、b=9のときにpが最大値になることを示し
その後aを変化させ、aを18との大小により別々にp≧5の
奇素数が存在しないことを証明している。以上。

これからは新規の正しい反論以外はレスをしません。