We first recall two definitions and two lemmas from [1]} necessary for our main theorem. First, in logarithmic geometry, we are in general interested in working with log flat families over a base. In order to give a notion of dimension in which log flat families have constant fiber dimension, we define log fiber dimension, defined originally in [2]}:
