Bohr–Mollerup theorem — theorem in complex analysis