Theorem T000092