theorem :: XPRIMES2:5310

canceled;