Diagonal reduction of matrices over commutative semihereditary Bezout rings. Issue 4 (3rd April 2019)