Python Sort Method Algorithm Example Math Proof By Contradiction