Routh test는 characteristic equation의 계수가 전부 양수여야 하고 계수가 하나라도 음수면 하나 이상의 RHP pole이 존재한다고 하셨는데, 하나의 RHP pole이 존재하더라도 zero에 의해 소거되면 stable하다고 보는 기준도 있다는 걸 고려하면 Routh test는 internally AS를 사용한다고 보면 되는 건가요?