Modallogik/K/Leerheitsaxiom/Charakterisierung/Aufgabe

Zeige, dass in einem -System, in dem das Axiomenschema

gilt, bereits das Leerheitsaxiom gilt.