(12steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: rem invariant 1 2 1 1 1 1

1. a:
2. n:
3. b:
4. 0+1b
5. ((a+(b-1)n) rem n) = (a rem n)
6. n(0+1)nb
7. n(0+1)nb

a+bnn

By: Analyze 1

Generated subgoal:

11. a:
2. a0
3. n:
4. b:
5. 0+1b
6. ((a+(b-1)n) rem n) = (a rem n)
7. n(0+1)nb
8. n(0+1)nb
a+bnn


About:
intnatural_numberaddsubtractmultiplyremainderequal

(12steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc