Now you are in the subtree of Math public knowledge tree. 

A linear transformation is surjective if and only if the image of a basis is a spanning set

Put content here.