theorem :: XPRIMES1:1310

canceled;