Dreiecksungleichung einer Bewertung

Sei \(\phi\) eine Bewertung eines Körpers \(K\) mit \(x,y \in K\). Dann gilt:

\begin{align*} \phi(x + y) \leq \phi(x) + \phi(y) \end{align*}