Theorem T000548