PrintForm Definitions exponent Sections AutomataTheory Doc

At: geom unique


q:, n1,n2:, r1:(qn1), r2:(qn2). (qn1)+r1 = (qn2)+r2 n1 = n2 & r1 = r2

By: UnivCD

Generated subgoal:

11. q:
2. n1:
3. n2:
4. r1: (qn1)
5. r2: (qn2)
6. (qn1)+r1 = (qn2)+r2
n1 = n2 & r1 = r2


About:
allnatural_numberimpliesequalintaddand