Theorem T000118