theorem :: XPRIMES2:5370

canceled;