Theorem T000186