Сап! Прошу разбирающегося в логике человека содержательно объяснить следующую теорему, а именно случай применения правила введения квантора всеобщности и случай кв.существования. Заранее большое спасибо!

PS. Есть подозрение, что в самой статье допущена ошибка:
" t does occur in any member of Γ1 or in θ"
"Then, since t does not occur in Γ1, Γ1⊆Γ′."