Bézout Criterion for Coprimality