theorem :: XPRIMES2:5804

canceled;