theorem :: XPRIMES2:1274

canceled;