K, Distribution Axiom: □(p → q) → (□p → □q).
K، اصل توزیع: □(p → q) → (□p → □q).