nel punto 2 non sono convinto dell'applicabilità del teorema:applicazione del Teorema di van der Waerden
tu stesso hai dimostrato il TdvdW per induzione,Quindi vale in un insieme di card=alefh0,ma i punti sul cerchio e sottoinsiemi propri hanno card=alefh1.