Talk:Partition regularity