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.