The proof of
(1) is explained in [1]} and (2) is
[1]}. The proof of (3) follows from
[3]}
while (4) is explained in e.g. [4]}.
Finally,
(5) is due to Simpson [5]}.
See the discussion in the introduction of [6]} for a nice summary of this and related topics.
