Intercambio de PROVE a LA| Convierte Succinct a Lagrange en SimpleSwap