Как и во многих других отношениях, Прокл и в области теории элементов дает окончательные формулы, которые отличаются и своим анализом, и своей системой, и своим доведением общеантичной теории до окончательной ясности.