a strong proof: Difference between revisions