Theorem:
Any orthogonal polygon with n vertices can be guarded with at most n/4 guards
This was proven by: Kahn, Klawa and Kleiman in 1982, but I can't find the proof of how they did this on the internet without paying $50 bucks.
Does anyone know how to solve this?