theorem Th5: :: HOMOTHET:5

for AFP being AffinPlane
for p being Element of AFP
for K being Subset of AFP
for f being Permutation of the carrier of AFP st f is_Sc K & f . p = p & not p in K holds
f = id the carrier of AFP by TRANSGEO:97;