theorem :: XPRIMES2:747

canceled;