Prueba mediante diagonalización