Theorem T000606