放物型部分群 "p" は一意的に存在する "x" ⊂ "s" により "p""s" と共役である。