動くことが出来る領域をK、子を中心とした半径１の円内をM、鬼を中心とした半径１の円内をNとすると
子はMとNの共通部分以外の領域とKの共通部分L=K∪M ∪（MxorN)を動かないと捕まる。

逃げることが出来なくなるのはLが空集合になることを証明すればよい。。。