(4steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
At:
elim
divides
1
1
1.
x:
2.
n:
3.
x = (x
n)
n+(x mod n)
4.
c:
5.
x = n
c
6.
n
c = (x
n)
n+(x mod n)
(x mod n) = 0
By:
ReduceMod n -1
Generated subgoals:
None
About:
(4steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
n)
n+(x mod n)
c
c = (x n)n+(x mod n)
(x mod n) = 0
