Rajan kunnossa jos korot kussakin vaiheessa tilaa muuttujan arvo ja panos-arvot annetaan ainutlaatuinen lähtö määritettävissä.