Theorem T000114