theorem :: NUMBER13:10

primesFinS 2 = <*2,3*>