(I asked this question on MSE, but someone suggested it would be better asked here.)


I'm a fan of the Bernstein-Khovanskii-Kushnirenko theorem (that the number of solutions in $(\mathbb{C}^\*)^n$ to a generic system of Laurent polynomials is the mixed volume of the polynomials' Newton polytopes), and I was intrigued by the claim in [this tribute](http://www.ams.org/distribution/mmj/vol7-2-2007/khovanskii-birthday.html) to Askold Khovanskii that:



> 
> "Askold found various proofs of Bernstein's formula; the number of proofs that he has obtained up to now is about fifteen...and each of them can be explained to an advanced high-school student in half an hour."
> 
> 
> 


Having only seen one proof of the theorem as part of an introduction to toric geometry that went somewhat over my head at the time, I'm curious how these proofs work. I'm especially interested in the "can be explained to an advanced high-school student" aspect, as I'm wondering if this might be good material for a math club talk to undergraduates or a week-long course for advanced high schoolers. 


However, I have no idea where any of these proofs would be documented, if they even are documented; some poking around on Math Reviews didn't turn up much. It also seems possible that some or all of them would be in Russian, which I can't read. Does anyone have suggestions for where I might find such an elementary proof or proofs of the BKK theorem?



Where to find some subset of Khovanskii's 15 proofs of the BKK theorem?
Khovanskii gives what he calls "the simplest proof" in section 4 of  [Newton Polyhedron, Hilbert Polynomial, and Sums of Finite Sets](https://www.math.toronto.edu/askold/1992-Faa-4-english.pdf) (1992).


More proofs are in


* [Newton polyhedra and the genus of complete intersections](https://link.springer.com/article/10.1007%2FBF01077562) (1978)
* [Newton polytopes
and irreducible components of complete intersections](https://www.math.toronto.edu/askold/2016%20Izvestiya%201%20English.pdf)
(2010).
* [Elimination theory and Newton polytopes](https://www.math.toronto.edu/askold/2008-FAOM-2-1.pdf) (2008)


