R(4,5)=25の正式な証明

本論文では、ランゼー数R(4,5)=25を正式に証明する。この証明は、高度な人間による議論と計算機生成のレンマを組み合わせたものである。