Theorem T000382