Intercambio de PROVE a EUL| Convierte Succinct a Euler en SimpleSwap