Example 2.1 complete.
Now example 2.1 is done.