gutenberg/gutenberg — pull request #166 by abhinavc (2012-06-29 10:29:07+00:00)
Title: new solution based on basic definition of AP 

The old proof was weak because it compared the consequence of an AP. To complete the proof,
it is necessary to also prove that the consequence could not result any other way