theorem :: XPRIMES2:767

canceled;