The proof of the first two statements can be found in for example [1]}, [2]}. For the third statement, we will make use of another duality result, with the so-called associated deterministic system, that is introduced in [3]}.
