Proving (2)

UP