Ordered field/Convergent sequences/Rules/2/Fact/Proof