Theorem T000351