theorem :: XPRIMES2:628

canceled;