Finish proving part two of joint distribution properties