theorem :: XPRIMES2:5897

canceled;