theorem :: XPRIMES2:955

canceled;