対偶証明たいぐうしょうめい<たい'ぐう>・しょう'めい5

Math.Beweis durch KontrapositionBeweis durch Umkehrschluss