theorem :: XPRIMES2:929

canceled;