Proclus

Proclus calls her "the unsullied shell which contains the pearl of price," "the church's diadem," "the expression of orthodoxy."

He had been detained by important despatches from Alexandria, and by questions and communications from Proclus.

This interesting generalization of the proposition about the sum of the angles of a triangle is given by Proclus.

Proclus: If a straight line intersects one of two parallels it also intersects the other.