Prime
two more lemmas