 One notable result is that a right Bézout domain is a right Ore domain.This fact is not interesting in the commutative case, since "every" commutative domain is an Ore domain.Right Bézout domains are also right semihereditary rings.