prove: Difference between revisions