Buenas!
Estaba trancado en los lemmas :
- si l1 « l2 y l2 « l1 entonces l1 = l2
- si l1 « l2 y l2 « l3 entonces l1 « l3.
Encontré en el foro ( https://eva.fing.edu.uy/mod/forum/discuss.php?d=111001 ) que estos temas requieren inversión y son difíciles de explicar vía mail y por ende no eran requeridos en la entrega del práctico. En esta edición tampoco van a ser requeridos?
Saludos, Pablo Palou.