Added Alternate Proof for 2.1

I added an alternate proof for AM 2.1 based on an example in DF p368 (2)