Theorem T000027