Una demostración elemental por reducción a lo absurdo fue descubierta por Paul Erdős y es la siguiente: