Theorem T000341