Modal Theorem 4.1

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