Theorem T000300