Las pruebas de las declaraciones contenidas en el apartado anterior se basan en la existencia de funciones con ciertas propiedades.