The iterated version of a translative integral formula for sets of positive reach