Banach's fixed-point theorem