theorem :: XPRIMES2:718

canceled;