Theorem T000370