「AまたはB」を示したいとします
このときに、「not A」を仮定して「B」を証明できれば証明できたことになるでしょうか？