theorem :: XPRIMES2:5918

canceled;