Tak ja sformulowane w skrypcie: Dylatacja na \(\displaystyle{ A}\) (\(\displaystyle{ A}\) przestrzen afiniczna) jest automprfizmem A, gdzie kazda prosta g jest odwzorowywana na rownolegla do g prosta.
Niech\(\displaystyle{ \delta}\) bedzie dylatacja na\(\displaystyle{ A}\). Wtedy \(\displaystyle{ \delta}\) jest jednoznacznie okreslona poprzez podanie obrazu dwoch punktow.
Sformuluj podane wzyzej twierdzenie za pomoca kwantyfikatorow i udowodnij je.