Linear mapping/Dimension formula/Fact