Demuestra que x = cos x tiene solución única en R