Theorem T000010