PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
rem
quo
unique
1
1
1.
n:
2.
r1:
n
3.
r2:
n
4.
q1:
5.
q2:
6.
r1+q1
n = r2+q2
n
r1 = r2
By:
ApFunToHypEquands `x' (x rem n)
6
Generated subgoal:
1
7.
((r1+q1
n) rem n) = ((r2+q2
n) rem n)
r1 = r2
About:
n) rem n) = ((r2+q2n) rem n)
r1 = r2
nnn = r2+q2n r1 = r2
6n) rem n) = ((r2+q2n) rem n) r1 = r2
