theorem :: XPRIMES1:710

canceled;