Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Important theorems/Random