Theorem T000544