{i} c= OddNAT by Th2, ZFMISC_1:31;
hence <*i*> is odd-valued by FINSEQ_1:38; :: thesis: verum