theorem :: XPRIMES2:5997

canceled;