Es sei K {\displaystyle {}K} ein angeordneter Körper. Dann ist jede konvergente Folge
eine Cauchy-Folge.