revised proof of AM 2.2