theorem :: XPRIMES2:5718

canceled;