theorem :: XPRIMES2:610

canceled;