Figure 1:
(Example
5.1
,
).
