다항식 몫환과 크로네커 치환을 통한 조합 정체성 도출 | Synapse