If is additive, we find that
This means that is linear. Quite surprisingly it is possible to show that there exist additive functions which are not linear (for example when is a vector space over the field ).