Completed proof that distr function respects the negation normal form property