theorem Th8: :: WALLIS01:11

( odd-seq 1 = <*1*> & odd-seq 2 = <*1,3*> & odd-seq 3 = <*1,3,5*> )