An integral formula