Using the result in [1]}, Kawamoto et al. proved the uniqueness of Dirichlet forms [2]}.
In proving the uniqueness of Dirichlet forms, they examined the condition of an infinite system of finite-dimensional SDEs with consistency [3]},
which plays an important role in the theory developed in [1]}.
Kawamoto and the first author derived a solution to the ISDE based on \( N\) -particle systems [5]}, [6]}, [7]}.
