Theorem T000119

⇒