What, exactly, are you trying to prove? You say you want to show that the fractions on the left side, and , are reduced to lowest terms. But that is given, isn't it? The definition says that two fractions are "neighbor fractions" if and only if where which assumes that the fractions are in lowest terms.