A normal subgroup that is also malnormal must be one of these.
一個正規子群如果也是malnormal，必定是此兩者之一。