deducible theorem

Мат. выводимая теорема