theorem :: XPRIMES2:6718

canceled;