Peirceの法則と排中律が等価なことの証明