verificación mediante permutación