普通はそうならないから多分他の前提条件がある