Theorem T000235