Seja o sistema (4) com u = 0. Suponha que W_o (0,T) é não-singular (e portanto o sistema é observável). Então,
 

Prova:

Em vista da definição de W_o(0,T) (ver (6)) e em vista do fato que , vem