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

At: sum arith 1 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)
((sum(a+bi | i < n)2) rem 2) = 0
By:
GenConclAtAddr [2;1;1]
THEN
Lemmaize []
Generated subgoal:

1 z:. ((z2) rem 2) = 03 steps

About:
intnatural_numberaddsubtractmultiplydivideremainderequalall

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