Paul Erdős
ポール・エルデシュはこの命題の一般化として次の命題を証明した。