Es sei K=K⊢{\displaystyle {}K=K^{\vdash }} die K{\displaystyle {}K}-Modallogik und sei U{\displaystyle {}U} das universelle modallogische Modell. Zeige