prueba de correctitud