Chvátal’s theorem gives the answer: for a gallery with \(n\) walls, \(\llcorner n/3\lrcorner\) guards suffice, where \(\llcorner n/3\lrcorner\) is the greatest integer \(\le n/3\). (If this does not sound to you sufficiently like a mathematical theorem, it can be restated as follows: Let \(S\) be a subset of the Euclidean plane. For a subset \(B\) of \(S\) let us say that \(B\) supervises \(S\) iff for each \(x \in S\) there is a \(y \in B\) such that the segment \(xy\) lies within \(S\). Then the smallest number \(f(n)\) such that every set bounded by a simple \(n\)-gon is supervised by a set of \(f(n)\) points is at most \(\llcorner n/3.\lrcorner\)