updated proofs of DF 10(ii), 13, 14