Modal Theorem 5.1
دیسه‌ای
□(◊𝐴⊃𝐵)≡□(𝐴⊃□𝐵)
□(◊A⊃B)≡□(A⊃□B)