On divisibility with a remainder of matrices over a principal ideal domain - V. M. Prokip (Mathematical methods and physicomechanical fields, 2017)