ZabavskiiB. V. A Sharp Bézout Domain Is an Elementary Divisor Ring. Ukr. Mat. Zhurn. 2014, 66, 284–288.