А вот это странно, прокси провайдер обычно не предоставляет (я сам в 3х провайдерах работал, правда ни один из них - не ростелеком, но с госзапупками имел дело, и ни разу это не было в виде прокси). Я всегда полагал, что провайдер даёт тебе физическую лямку (витая пара/PON/конвертер) или порт на коммутаторе и описывает способ подключения, это либо dhcp, либо что-то из l2tp/pppoe/pptp. предоставление оператором прокси - для меня нечто новое. Лучше обратитесь к администратору школьной локалки, если таковой существует в природе (пусть даже уволившийся - проконсультируетесь хотя бы).
Ещё как вариант - возможно ваша школа это несколько корпусов и вы находитесь не в главном корпусе, и ростелеком предоставляет вам vlan, ведущий в главный корпус, где собственно и находится прокси, но по идее это в ведении школы должно быть, а не провайдера, ибо провайдеры лишь предоставляют выход в инет.
Возможно я ошибаюсь, и если РТ действительно предоставляет доступ в сеть через прокси, то в таком случае подождём более продвинутых сетевиков