(a)
(b)
Figure 1:
Areas of
and
:
belongs to
if and only if
has a loop.
