Beweis

Es sei gegeben. Es sei zunächst transitiv und sei

Es sei und und somit

Also ist

und damit

Es sei nun nicht transitiv und seien Punkte mit , , aber nicht . Es sei eine Aussagenvariable und sei die Belegung, bei der in allen von aus erreichbaren Welten gelte, in allen anderen Welten nicht. Dann ist

und

da ja , und somit ist

also