theorem :: XPRIMES1:5718

canceled;