Theorem T000541