Redirecting to Bohr–Mollerup theorem