for AS being AffinSpace holds the carrier of AS misses Dir_of_Lines AS