theorem :: XPRIMES2:1708

canceled;