Schaefer's theorem Banach space Helmut Schaefer NP-completeness Schaefer's dichotomy theorem Schaefer's fixed point theorem Thomas J. Schaefer