Krasnoselskii expansion-compression theorem