Proving Perimeter Defense