Schaefer's fixed point theorem