theorem :: XPRIMES2:793

canceled;