A finite equational axiomatization of the functional algebras for the lambda calculus