はじめにxとvありき
なら不確定性は生じませんね