Swanepoel, Konrad Johann; Pretorius, Lou M. (Lourens Martin)
(Suid Afrikaanse Akademie vir Wetenskap & Kuns, 2007-03)
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 ...