theorem :: XPRIMES0:1776

not 1776 is prime