(8steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
sum
arith
1
1.
n:
2.
a:
3.
b:
4.
sum(a+b
i | i < n)
2 = n
(a+a+b
(n-1))
sum(a+b
i | i < n) = ((n
(a+a+b
(n-1)))
2)
By:
Using [`n',2] (BackThru
Thm*
a,b:
, n:
. n
a = n
b
a = b)
Generated subgoal:
1
2
sum(a+b
i | i < n) = 2
((n
(a+a+b
(n-1)))
2)
6
steps
About:
(8steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc