Theorem T000026