Compression-expansion fixed point theorem