Note that F is the product over the integers m in B.
Hence V(x) is the maximum value of Jx(v) over all controls v.
......where E runs over the family B.
To show the greater simplicity of our method over Brown's, let us......
The method of proof carries over to domains satisfying......
The equation PK=0 then goes over to QK=0.
Here s takes over the role of the time parameter.