Proof of the bounded path set (Lemma 2) proves: Bounding the number of trust paths keeps the cost o...