theorem :: XPRIMES2:6955

canceled;