theorem :: XPRIMES2:951

canceled;