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:
|
1 2 3 4 5 6 7 8 9 |
import tactic variables {a b c : ℕ} example (divab : a ∣ b) (divac : a ∣ c) : a ∣ (b + c) := sorry |
Read More «Si a divide a b y a c, entonces también divide a b + c»