PrintForm Definitions exponent Sections AutomataTheory Doc

At: rem quo unique 1 2
1. n:
2. r1: n
3. r2: n
4. q1:
5. q2:
6. r1+q1n = r2+q2n
7. r1 = r2

r1 = r2 & q1 = q2
By: Analyze 0
Generated subgoals:

1 r1 = r2
2 q1 = q2

About:
andequalintnatural_numberaddmultiply