Modallogik/Endlichkeitssatz/Aufgabe

Es sei eine modallogische Ausdrucksmenge und ein modallogischer Ausdruck. Es sei . Zeige, dass es eine endliche Teilmenge mit gibt.