If is continuous and is an additive function, then . Additivity proves this first for nonnegative rational numbers; because is continuous, the identity extends to every nonnegative real number.