The syzygy theorem for Bézout rings. - Maroua Gamanda; Henri Lombardi; Stefan Neuwirth; Ihsen Yengui (Math. Comput., 2020)