M¨onch’s fixed point theorem