Теорема_существования loading ...