Modal Theorem 4.2

دیسه‌ای
◊◊𝐴≡◊𝐴
◊◊A≡◊A