Theorem T000112