theorem :: SIMPLEX0:11

for x, X being set st X is c=-linear holds
X \/ {((union X) \/ x)} is c=-linear