Theorem T000119