La notación [término1 ..., TermN] anterior es en realidad la abreviatura de la lista [término1 |[...|[ TermN |[]]]].