A Sharp Bйzout Domain is an Elementary Divisor Ring - B. V. Zabavskyi (Ukrainian Mathematical Journal, 2014)