The fact that 3 is a primitive element mod 17 should be needed. Also, some \eqclass signs are missing. I will come back here later. --Z423x5c6 (talk) 07:47, 29 July 2021 (UTC)