(Banach fixed point theorem) Let be a Banach space and is a mapping with the property Then there exists a unique point with the property