theorem :: XPRIMES2:5187

canceled;