finsler-hadwiger theorem