теорема об интерпретации

Мат. interpretation theorem