Ex2.57 and Ex2.58a