Added lema about continuous functions