Schaefer's theorem