theorem :: XPRIMES2:3365

canceled;