theorem :: XPRIMES1:61

61 is prime