proof of a much more general result. This book makes the Invariante Variationsprobleme