There are. Law of excluded middle, for instance. Law of large numbers. They are also called principles. There is no immutable naming law, or principle or theorem. One man's lemma is another mans theorem. For instance's Schur's Lemma is a vital theorem, but Mackey's Theorem is just a lemma.... (though things starting if...then... ought to be called propositions).