theorem :: XPRIMES2:8260

canceled;