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