Monochromatic m-p-c set theorem (source code)

= Monochromatic m-p-c set theorem
{title2=monochromatic $(m,p,c)$-set theorem}

For every positive $m,p,c$, every <finite coloring> of the <positive integer>[positive integers] contains a monochromatic <M-p-c set>.