Theorem T000165