Es seien T 1 {\displaystyle {}T_{1}} und T 2 {\displaystyle {}T_{2}} disjunkte kompakte Teilmengen im R n {\displaystyle {}\mathbb {R} ^{n}} .
Dann ist