information about Banach fixed-point theorem field