Week07: Theorems related to rank of the transformation