This theorem characterizes the [rank of a bilinear form](/page/Rank%20of%20a%20Bilinear%20Form) as the smallest dimension of an intermediate [vector space](/page/Vector%20Space) through which the form can factor. It gives an intrinsic factorization interpretation of bilinear rank.