theorem :: XPRIMES2:1423

canceled;