theorem :: XPRIMES1:718

canceled;