Partition regular equation (source code)

= Partition regular equation
{wiki=Partition_regular}

A homogeneous linear equation is partition regular when every finite colouring of the positive integers admits a solution whose coordinates all have one colour.