(8steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: sum arith 1 1 1
1. n:
2. a:
3. b:
4. sum(a+bi | i < n)2 = n(a+a+b(n-1))
5. n(a+a+b(n-1)) = ((n(a+a+b(n-1))) 2)2+((n(a+a+b(n-1))) rem 2)
((n(a+a+b(n-1))) rem 2) = 0
By: RevHypSubst -2 0
Generated subgoal:

1 ((sum(a+bi | i < n)2) rem 2) = 04 steps

About:
intnatural_numberaddsubtractmultiplydivideremainderequal

(8steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc