Sfântul Cuvios Teofil din Luga şi Omuțk-Pskov, ucenicul Sfântului Arsenie de Koneviț din Rusia (+1412)