>>317
排中律より明らか