Modal Theorem K.4

دیسه‌ای
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)