Figure 3:
As indicated in proof of Corollary
8
,
if and only if
and
.
