0075132人目の素数さん垢版 | 大砲2018/08/07(火) 12:33:52.37ID:utW3tZWg >同じく “cr≠qr-1より” と論じてるところはもう一箇所もないの? それはある。 cr≠qr-1を仮定した上で矛盾を示している箇所は存在する。 対して、(他の条件は同一で、かつ)cr=qr-1を仮定して矛盾を示している箇所は、明示的にも暗示的にも存在しない。 したがって、証明は不備としか言いようがない。