Ons gee 'n algoritmiese bewys vir die kontrapositief van die volgende stelling wat onlangs deur die outeurs bewys is: Laat S 'n eindige versameling van punte in die vlak wees, met elke punt rooi, blou of met beide kleure ...