The lefschetz fixed point theorem and its application to asymptotic fixed point theorem for set-valued mappings