Rogers's fixed-point theorem