added proof of AM 3.4