theorem :: XPRIMES2:5955

canceled;