Because we have derived a constraint equation in holonomic form (specifically, our constraint equation has the form f ( x , y , z ) = 0 where { x , y , z } ∈ ∈ u → → ), we can see that this system must be holonomic.