https://www.glc.us.es/~jalonso/calculemus/pruebas-de-take-n-xs-drop-n-xs-xs/
Pruebas de take n xs ++ drop n xs = xs