Modal Theorem D.1

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