Theorem T000106