>>764
偽の仮定からは偽でもなんでも証明できる