Pomenirea Sfântului Cuvios Teodosie de la Pecerska, care mai înainte a fost prinţ de Ostrog (+ 1438)