theorem :: XPRIMES1:1295

canceled;