theorem :: XPRIMES2:170

canceled;