title:> Square Sum of the First n Natural Number spec:> /net/beowulf/grad/klin/tmp/squ.obj dir:> /net/cs/htdocs/groups/tatami/demos/nat/squ <> ******************************************************** goal:> forall N:Nat squsum(N) * 6 = (N * N * N * 2) + (N * N * 3) + N ******************************************************** :> Induction(0,s) :> Simplify :> Simplify <>