This theorem gives the universal property of a [quotient space](/page/Quotient%20Space): a [linear map](/page/Linear%20Map) that kills a subspace factors uniquely through the quotient. It is the main mechanism for constructing maps out of quotient spaces.