theorem :: COH_SP:34

for X being set holds [{},{}] in TOL X