Solution
= Solution
A holonomic constraint is $F(q,t)=0$. In the multiplier formulation its generalized constraint force is $Q_i=\lambda\partial_iF$. Along an allowed motion, its power is $\sum_iQ_i\dot q_i=\lambda(\dot F-\partial_tF)$, which vanishes when the constraint has no explicit time dependence.