Theorem T000390