Lemma 2. cos hat in [0, 2] eine Nullstelle.