Теорема Эрбрана для логики без сокращенийстатья