theorem :: XPRIMES1:955

canceled;