Theorem T000371