Hola.
Sobre la ejercicio de la igualdad, valen todos los comentarios previos. No es un ejercicio nada fácil y no hay problemas si éste lo dejan sin hacer.
La prueba de la transitividad de posfijo no es complicada. Para probar l1 << l2 -> l2 << l3 -> l1 << l3 se sugiere hacer inducción en la hipótesis con l2 << l3 (luego de hacer intros). Notar que << es la relación posfijo, que es inductiva.
Saludos, Carlos