と仮定して矛盾を導く。