@Piaoliang, в данном случае теорема Эскобара работает.