Theorem T000369