エネルギー保存則は作用原理のみから導かれるわけでもない