Supongamos que z fuera un elemento tanto de [x] como de [y].