Theorem T000017