Theorem T000301