Es sei Γ{\displaystyle {}\Gamma } ein K{\displaystyle {}K}-modallogisches System und α{\displaystyle {}\alpha } ein modallogischer Ausdruck. Es gelte
Dann ist auch