Si w, x, y, z ∈ ℕ tales que x ∣ w, entonces x ∣ yxz + x² + w²
Demostrar que Si w, x, y, z ∈ ℕ tales que x ∣ w, entonces x ∣ yxz + x² + w²
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.nat.gcd variables w x y z : ℕ example (h : x ∣ w) : x ∣ y * (x * z) + x^2 + w^2 := sorry |
Read More «Si w, x, y, z ∈ ℕ tales que x ∣ w, entonces x ∣ yxz + x² + w²»