Прокл Диадох. Комментарий к первой книге «Начал» Евклида