"Этимологический вариант имени города — Петрополь — также употребляется в письмах Петра и его сподвижников уже в 1703 году"