Now you are in the subtree of Container for Linear Algebra project. 

The range spaces of powers of a linear transformation form a descending chain

Put content here.