theorem :: XPRIMES2:949

canceled;