theorem :: XPRIMES2:3270

canceled;