theorem :: XPRIMES2:3267

canceled;