Problem 1331 (difficulty: 6/10)
Prove that if \(\displaystyle m:\mathcal{J}\to\R\) is nonnegative, additive, translation-invariant and normed, then \(\displaystyle m=t\).