Modallogik/K/Widersprüchliche Notwendigkeit/Notwendigkeit/Aufgabe

Zeige, dass in der ${\displaystyle {}K}$-Modallogik das Schema

${\displaystyle \Box \alpha \wedge \Box \neg \alpha \rightarrow \Box \beta }$

ableitbar ist.