위의 보조정리 2.1과 위의 정의들 (a)∼(h)를 이용하여 다음과 같이 최적 재산세제를 표현할 수 있다.
Using the above supplementary theorem 2.1 and the above definitions (a) through (h), the optimum property tax system can be expressed as follows.