for S being OAffinSpace holds Lambda S is AffinSpace