theorem :: XPRIMES2:3248

canceled;