Theorem T000364