for S being OAffinPlane holds Lambda S is AffinPlane