Ore’s theoremA ring has a (left, right) classical ring of quotients if and only if it satisfies the (left, right) Ore condition.