Mathematics for Applied Sciences (Osnabrück 2023-2024)/Ordered field/Elementary properties/3/Fact/Factreferencenumber