Theorem T000110