theorem :: XPRIMES1:715

canceled;