theorem :: XPRIMES2:653

canceled;