Kriz theorem for cyclic transitive point sets (source code)

= Kriz theorem for cyclic transitive point sets
{c}

Every finite <cyclic transitive point set> is a <Euclidean Ramsey set>. In particular every <regular polygon> is Euclidean Ramsey.