Theorem T000237