Schaefer's theorem may refer to two unrelated theorems: