theorem :: XPRIMES2:1248

canceled;