theorem :: XPRIMES2:2955

canceled;