theorem :: XPRIMES0:1825

not 1825 is prime