Um is still in Um. (This exercise is referenced in Example 8.6.)
Note: Your proof may not use Theorem 4.19. But Exercise #16 above should help!
Fig: 1