n:
, a,b:
. sum(a+b
i | i < n) = ((n(a+a+b(n-1))) 
2)n:, a,b:. sum(a+bi | i < n)2 = n(a+a+b(n-1))a,b:, n:
. na = nb 
a = ba:, n:. a = (a n)n+(a rem n)a,b:, n:
. ((a+bn) rem n) = (a rem n)a:{...0}, n:. (a rem n) = -((-a) rem n)