(4steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: elim divides 2
1. x:
2. n:
3. x = (x n)n+(x mod n)
4. (x mod n) = 0
c:. x = nc
By: InstConcl [x n]
Generated subgoals:

None

About:
intnatural_numberaddmultiplyequalexists

(4steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc