theorem :: XPRIMES1:1315

canceled;