Primero se demuestra "P([])," es decir EQ es cierto para qualquier lista "M" cuando "L" es "[]".