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