theorem :: XPRIMES2:9718

canceled;