The idea of using `consecutive numbers are coprime` as the sole property for this concise proof is quite remarkable.<p>I would definitely be interested to know if there are any other such simple proofs exist for other theorems. (i.e. ones where a new proof simplifies it massively by using a simpler property).