On numerical semigroups