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