Theorem: a set of vectors is linearly dependent if and only if one of the vectors can be written as a linear combination of the other vectors

Export will produce a single file with all the subgraph content. It will have *.html extension and will be viewable with/printable from your browser. The source text (except for a few html tags) will remain in markdown, just as you created it. You can convert it easily into format of your choosing, for details see Export from Knowen node.