theorem :: XPRIMES2:1160

canceled;