theorem :: XPRIMES2:1297

canceled;