道理同有效顶分型