Theorem T000367