EDB — 28V

[28V](Solved on 2022-11-03) We fix the parameter \(m\), and we define recursively \((m× ⋅)\) through

• \( m× 0=0\)

• \(∀ n∈ ℕ, m× (n+1)=m× n + m\);