Demostración del Sistema AIGAL