theorem :: XPRIMES2:7922

canceled;