Mathematics for Applied Sciences (Osnabrück 2023-2024)/Prime factorization/Existence/Fact/Factreferencenumber

Theorem 2.6