https://9dok.net/document/yr36ekvo-definition-f-ur-zahl-r-heißt-nichtnegative-zahl.html