Si a divide a b y a c, entonces también divide a b + c

Demostrar que si a divide a b y a c, entonces también divide a b + c.

Para ello, completar la siguiente teoría de Lean:

Soluciones con Lean

Se puede interactuar con la prueba anterior en esta sesión con Lean.

Referencias

Escribe un comentario