theorem :: XPRIMES2:2370

canceled;