Cтраница 4
Достаточность этого условия очевидна; необходимость следует из условия независимости вариаций rfg - и имеет место только для голономных систем. [46]
Достаточность доказывается следующим образом. [47]
Достаточность этого условия очевидна. [48]
Достаточность получается следующим образом. [49]
Достаточность непосредственно вытекает из приведенной выше леммы. [50]
Достаточность очевидна, так как элементарные трансляции всякой квазигруппы образуют транзитивную группу. [51]