@Flamme, ну да, они же сводные. Теорема эскобрара, конечно, но заменить стоит. Спасибо, наверное.