La regla de beta reducción expresa la idea de la aplicación funcional.