  This note states and proves a representation theorem for regular quantity
functions, based on the theory of quantity spaces, thereby giving a new
perspective on dimensional analysis and the classical $\pi$ theorem.
