Detalles de la demostración de Jaltest