Theorem T000542