«Exemple de prova indirecta / reducció a l'absurd»: Historial de revisions

Simbologia: (act) = diferència amb la versió actual, (prev) = diferència amb la versió anterior, m = modificació menor