Theorem T000146