theorem :: XPRIMES0:677

canceled;