Nuprl - IteratedBinops LEMMAs for zero_ann_iter_via

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Rank	Theorem	Name
7	Thm* (i:{a..b}. e(i) = 0) ( i:{a..b}. e(i)) = 0	[zero_ann_iter_via_intseg]
cites the following:
6	Thm* ( i:{a..b}. e(i)) = 0 (i:{a..b}. e(i) = 0)	[iter_prod_zero_iff_factor_zero]

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html