This theorem characterizes when two nonzero coordinate tuples define the same point in [projective space](/page/Projective%20Space). It says exactly that the two tuples must differ by multiplication by a single nonzero scalar, turning equality of projective points into a coordinatewise test.