theorem :: XPRIMES2:3471

canceled;