theorem :: XPRIMES2:6749

canceled;