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