El teorema utm demuestra la existencia de dicha función.