Die a ist falsch. Betrachte doch einfach die ersten drei Elemente.
Die b ist richtig. Betrachte eine Menge J Teilmenge M. F_max ist der größte Index, der in J vorkommenden Formeln.
Es existiert ein j, sodass j>= Max => Sn ist erfüllbar
=> J ist erfüllbar
Wegen Endlichkeitssatz auch M
