News: 2022-02-15_15-39-21_un-homme-imprudent-echappe-de-peu-a-la-m

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

Un homme imprudent échappe de peu à la mort sur un passage à niveau

(2022-02-15_15-39-21)


À Mumbai, en Inde, un homme a échappé de justesse à une mort certaine lorsqu’il a voulu traverser un passage à niveau avec sa moto malgré la fermeture des barrières, qui annonçaient un train en approche. Il s’en est heureusement sorti indemne.


Theorem: All positive integers are equal.
Proof: Sufficient to show that for any two positive integers, A and B, A = B.
Further, it is sufficient to show that for all N > 0, if A and B
(positive integers) satisfy (MAX(A, B) = N) then A = B.

Proceed by induction:
If N = 1, then A and B, being positive integers, must both be 1.
So A = B.

Assume that the theorem is true for some value k. Take A and B with
MAX(A, B) = k+1. Then MAX((A-1), (B-1)) = k. And hence
(A-1) = (B-1). Consequently, A = B.