>>521 訂正
×あるnに対してだけLegendre予想が真になるということを証明することになる。
〇少なくとも１つのあるnに対してだけLegendre予想が真になるということを
証明したことにしかならない。