theorem :: XPRIMES2:1295

canceled;