(8steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc
At:
sum
arith
n:
, a,b:
. sum(a+b
i | i < n) = ((n
(a+a+b
(n-1)))
2)
By:
Auto
THEN
Inst
Thm*
n:
, a,b:
. sum(a+b
i | i < n)
2 = n
(a+a+b
(n-1)) [n;a;b]
Generated subgoal:
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)
7
steps
About:
(8steps total)
PrintForm
Definitions
Lemmas
graph
1
1
Sections
Graphs
Doc