Проверь себя?

Теорема: k ≡ p, ∃p ⇒ !i, !i → d, ⇒ k →d

Не обязательно доказывать эту теорему, просто продемонстрируйте “k” и напишите, что такое “i” (и пожалуйста не обижайтесь на “d”).

Что это за теорема?