ネーターを外す必要があるのは多分、
リジッド幾何に必要だからでしょう?