Rogers' equivalence theorem