Schaefer's theorem
શેફરનો પ્રમેય બે અસંબંધિત પ્રમેયોનો ઉલ્લેખ કરી શકે છેઃ શેફરનો દ્વિભાજન પ્રમેય, થોમસ જે. શેફરના નિશ્ચિત બિંદુ પ્રમેય દ્વારા એનપી-પૂર્ણતાના સિદ્ધાંત વિશેનો એક પ્રમેય, હેલ્મુટ શેફર દ્વારા બનાચ જગ્યાઓ વિશેનો એક પ્રમેય.