Talk:Banach's fixed-point theorem