Linear mapping/Dimension formula/No proof/Section