ある系を記述するのに必要なformula_4の組の数は、その系の自由度の数である。