theorem :: XPRIMES1:59

59 is prime