Ahora se debe demostrar que EQ se cumple también para todo valor de "M" cuando "L" es "x::xs":