theorem :: XPRIMES2:1267

canceled;