Sazvežđa

Pitanje ili opis problema

U zadatku Sazvežđa (tekst zadatka: http://algoge.com/problem/kv3_2020_3_sazvezdja
rešenje: [Rešenja zadataka] Kvalifikacije 2020 - Treći krug
)
Jasno mi je rešenje, a moje pitanje je da li postoji neki matematički dokaz da tačke koje generišemo neće biti kolinearne i kakva „konveksnost“ se spominje u rešenju?

Link ka zadatku ili odgovarajućoj stranici

tekst zadatka: http://algoge.com/problem/kv3_2020_3_sazvezdja
rešenje: [Rešenja zadataka] Kvalifikacije 2020 - Treći krug

Deluje mi da se konveksnost odnosi na to što je “najstrmija” prava koju možeš da napraviš od tačaka sa prvih nekoliko vertikalnih ispod svih tačaka na ostalim vertikalnim pravama. Trebalo bi da se mozže tako i dokazati