state and prove properties of distribution function