theorem :: XPRIMES2:1421

canceled;