theorem :: XPRIMES1:101

101 is prime