theorem :: DIRAF:45

for S being OAffinPlane holds Lambda S is AffinPlane