Mathematics for Applied Sciences (Osnabrück 2023-2024)/Binomial coefficient/Sum in Pascal triangle/Fact/Proof/Exercise/Exercisereferencenumber