theorem :: XPRIMES2:1427

canceled;