その前提条件を満たしていることになる