Si "a" es un divisor de cero por la izquierda y "x" es un elemento arbitrario del anillo, entonces "xa" es cero o bien un divisor de cero.