Krasnoselskii’s fixed point theorem