proved above

Выше доказанный