Здесь должно быть что-то

но я не могу это доказать