Proof for Banach fixed point theorem