|
This proof proves the theorem
a: . b:  . -a rem b = -(a rem b)
The following lemmas are used in this proof:
- rem_2_to_1
a:{...0}. n: . a rem n = -(-a rem n)
- rem_sym
a: . b:  . a rem -b = a rem b
Please do the following and record your answers:
- Translate this proof into English.
- Was there any part of this proof that you found difficult to translate? If
so, why?
- Do you think that this theorem was proved in a natural or intuitive
manner or not? If so, why?
|
|