Prueba sobre que las ecuaciones semánticas son funciones continuas.