Modallogik/Maximal widerspruchsfrei/Paradox/Nicht Nezessisierungsregel/Aufgabe

Es sei ${}T$ eine maximal widerspruchsfreie modallogische Ausdrucksmenge, die die ${}K$ -Modallogik umfasse und in der es einen paradoxen Ausdruck gebe. Zeige, dass ${}T$ nicht unter der Nezessisierungsregel abgeschlossen ist.