theorem :: XPRIMES0:1427

canceled;