take {} TS ; :: thesis: {} TS is nowhere_dense
thus {} TS is nowhere_dense ; :: thesis: verum