David,I should perhaps have mentioned that though your formulation of 9.1 is correct, what you have for 9.2 does not capture that theorem correctly, because your "sum n" adds the first n natural numbers, not the first n elements of a sequence. To get 9.2 you need to use the function "sigma" posted by Rob instead of your "sum".
Roger _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
