Theorem T000353