고급 심화 단계 (교환대수 → 동등대수 → 리 대수) 선택 논리