take [#] GX ; :: thesis: [#] GX is dense
thus [#] GX is dense ; :: thesis: verum