theorem :: XPRIMES0:81

not 81 is prime