Polynomial Quotient Rings and Kronecker Substitution for Deriving Combinatorial Identities | Synapse