theorem :: XPRIMES2:2610

canceled;