Si x → a y z → a, entonces