Para demostrarlo basta con definir las funciones: