theorem :: XPRIMES2:5385

canceled;