Buenas, me gustaría saber si el siguiente desarrollo para esta demostración es válido o necesito agregar (desarrollar) algo mas:
Supongo que la única diferencia al Teorema 5.1 (
) es que en vez de considerar 
no agregas la última igualdad, es decir, sólo escribís 
que sería para caso 
Hola Alexis.
Está bien pero mejoraría con un poco más de explicación:
Cuando pruebas que 2 implica 3, aclarar un poco porqué es obvio: agregar que si 2 se cumple para toda bon, entonces en particular se cumple para una bon concreta cualquiera.
De forma similar, en 3 implica 1, agregar que si dos TL tienen la misma matriz en las mismas bases, entonces son la misma TL (porque una TL queda determinada por su conducta sobre una base).
De este modo minimizas el que puedas perder algún punto por no justificar adecuadamente.
Saludos
J.