theorem :: XPRIMES2:6370

canceled;