This has H = 4 (can use II.3.11d, II.3.13, II.2.7), V = ....
- First show is separated and of finite type:
- Recall cor. II.4.8, show the composition is proper.
- Conclude the natural inclusion is a closed immersion, hence of finite type and separated.
- Conclude that is separated.
- For any argue is surjective. Can apply ex II.2.7
- For any closed set , have , where