Theorem T000310