Theorem T000374