Completed proof of the FNN property for distr function