gilt für i = s (i = s letzte Beobachtung) mit
(3) kann man nun mit absteigender Induktion auf die
übrigen Zustände schließen.
)
ist, folgt
mit 
das gewünschte.
gilt für i = s (i = s letzte Beobachtung) mit
(3) kann man nun mit absteigender Induktion auf die
übrigen Zustände schließen.
)
ist, folgt
mit das gewünschte.
Also ist 
für i > k.
Für alle anderen i gilt:
Benutzt man nun die Beziehung
so folgt mit absteigender Induktion
