∀ {R : Type u_1} [inst : CommRing R] [IsDomain R] {f g : Polynomial R} {ι : Type u_2} {v : ι → R} (s : Finset ι),
  Set.InjOn v ↑s → (f - g).degree < ↑s.card → (∀ i ∈ s, Polynomial.eval (v i) f = Polynomial.eval (v i) g) → f = g