a:{...0}, n:{...-1}. (a rem n) = -((-a) rem -n)a:
, b:
. (a rem -b) = (a rem b)a:, b:. ((-a) rem b) = -(a rem b)| Rank | Theorem | Name |
| 5 | a:{...0}, n:{...-1}. (a rem n) = -((-a) rem -n) | [rem_3_to_1] |
| cites the following: | ||
| 3 | a:, b:. (a rem -b) = (a rem b) | [rem_sym] |
| 4 | a:, b:. ((-a) rem b) = -(a rem b) | [rem_antisym] |