theorem :: NUMBER13:9

primesFinS 1 = <*2*>