 It assures that the agent would not be exploitable in any event, and thus establishes an advantage to obeying the axioms. Notice that the theorem states that having betting quotients adhering to the axioms assures that one will not be susceptible to a sure loss, rather than making just the minimal claim required to establish an advantage to coherence that such vulnerability may be avoided.