Theorem T000350