Theorem T000103