Elementary fixed point theorems (2018)