theorem Th11: :: NUMBER13:11

primesFinS 3 = <*2,3,5*>