Rogers equivalence theorem