Watch

The fewest guards equals the most corridors that share no room. That is a theorem.