Se puede hacer la distributiva primero y luego usarla para la asociativa? Haciéndolo así me salen con una sola inducción cada uno (y los lemas de ejercicios anteriores) pero haciendo la asociativa antes de la distributiva no me sale sin hacer inducción triple y en ese caso estoy bastante seguro de que en el fondo estoy reproduciendo la demostración de la distributiva.
Si hay una forma de hacer la asociativa sin la distributiva ni inducción triple se agradecería una pista también para intentarlo por ese camino.
Saludos,
Gabriel