(El segundo criterio lo cumplen en la práctica la mayoría de los programas no triviales).