Modal Theorem T.1

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