theorem :: XPRIMES0:1327

canceled;