Bohr-Mollerup theorem