分歧阶

ramification order