Преподобный Мартирий, диакон Печерский. Жития.