theorem :: XPRIMES2:763

canceled;