theorem :: XPRIMES2:6765

canceled;