“…Meanwhile, (9,5,15,4)•(9,5,15,4) mod 17 = (81,25,225,16) mod 17 = (13,8,4,16). We may verify that 3x 3 + 7x 2 + 3x + 6 can be represented by (13,8,4,16). Similarly, (x 3 + 2x 2 + 3x + 4) + (x 3 + 2x 2 + 3x + 4) mod x 4 + 1 = (2x 3 + 4x 2 + 6x + 8) ∼ = (1,10,13,8) = (9,5,15,4) + (9,5,15,4) mod 17.…”