Theorem T000021