Mögliche Notwendigkeit/Möglichkeitsaxiom/Aufgabe

In einem -modallogischen System gelte das Axiomenschema

Zeige, dass man in das Möglichkeitsaxiom

ableiten kann.