海森堡群的正维数

设 $\mathfrak{H}$ 为配备 Kor\'anyi 度量 $d$ 的第一海森堡群。我们证明 $\mathfrak{H}$ 的正维数为 4。