Schaefer's theorem

Schaefer's theorem may refer to two unrelated theorems: