Example 25.
The <
P
1
*
,
P
2
*
,
R*
> cycle identified in Example 24