リーマン予想を否定すると命題が成立
リーマン予想を仮定すると同じ命題が成立
証明終わり!