egorovs theorem