added proof of DF 12, removed proof of AM 3.4