Theorem T000492