Solution:
We present a sketch of an alternative proof of the fact that every n-gon has at least n−3 Bohemian vertices.
Observation 1. Let us place the polygon into a coordinate system in such a way that A1=[0,0], A2=[a,0], a>0 and the second coordinates of all the remaining vertices are positive. If all the remaining vertices A2,…,An have their first coordinates between 0 and a (see picture below), it is easy to see that the only vertices that could be non-Bohemian are A1,A2, and the point with the strictly largest second coordinate (if such a vertex exists). So, in this case, there exist at least n−3 Bohemian vertices.

Observation 2. An affine transformation does not change anything, so the statement is proved for all polygons that lie between two parallel lines that go through two adjacent vertices, i.e., whenever there are two adjacent vertices with sum of their angles at most 180∘.
Consider now any polygon P=A1A2,…,An.
Observation 3. If there are two (non-adjacent) vertices Ai,Aj and two parallel lines pi,pj with Ai∈pi,Aj∈pj such that the whole polygon lies between pi and pj, then the diagonal AiAj splits P into two polygons of the type considered in Observation 2. By Observations 1 and 2, these two polygons have at most 4 non-Bohemian points together, Ai,Aj, and two more.
Observation 4. For any vertex Ai there exist a vertex Aj and two parallel lines pi and pj with Ai∈pi,Aj∈pj such that the whole polygon lies between them. In fact, take a line pi such that pi∩P={Ai}, then Aj is the vertex with maximal distance from pi, if there are two such vertices, change the direction of pi slightly to obtain a unique Aj.
Let n=4. Then there exist two adjacent vertices with sum of their angles not larger than 180∘, so, by Observation 2, any quadrilateral has at most 3 non-Bohemian vertices.
Let n≥5. By Observations 3 and 4, there exist at most 4 non-Bohemian vertices. So, at least one vertex is Bohemian, denote it by Ai. Then, by Observations 3 and 4, all the non-Bohemian vertices are contained in the quadruple Ai,Aj and some other two vertices. Since Ai is Bohemian, there are at most three non-Bohemian vertices and the proof is complete.