特に、次の事実が成り立つ: