five functionals fixed point theorem