Added proof of DF 13, 14