Theorem T000485