Mathematics for Applied Sciences (Osnabrück 2023-2024)/Field/Basic properties/Rules for sign/Fact/Proof/Exercise/Exercisereferencenumber