Proving (14)