Theorem T000379