Redirecting to Banach fixed point theorem