Example 2. Example 5.7 from MTMT