Theorem T000113