If is additive, we find that
. In fact .
for . In fact .
for . In fact so that and hence .
for . In fact so 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 ).