Theorem T000236