Decomposing regular graphs with prescribed girth into paths of given length. (December 2017)