theorem :: XPRIMES2:5230

canceled;