theorem :: XPRIMES1:5065

canceled;