Theorem T000161