Об обучении доказательству методом исключения