リーマン予想が正しければ〜〜となってＡが成り立つ。
リーマン予想が正しくなければ――となってやはりＡが成り立つ。
よって、どちらにせよＡが成り立つ。

って証明された定理もある。