theorem :: XPRIMES2:935

canceled;