bohr-mollerup theorem