\( 4^4 = (16)^2 = (-1)^2 = 1 \mod 17 \) → yes