theorem Th3: :: HOMOTHET:3

for AFP being AffinPlane st AFP is Desarguesian holds
for o, a, b being Element of AFP st o <> a & o <> b & LIN o,a,b holds
ex f being Permutation of the carrier of AFP st
( f is dilatation & f . o = o & f . a = b )