Another helpful ingredient in the proof is the reciprocal lattice vectors. These are three vectors b 1, b 2, b 3 (with units of inverse length), with the property that a i · b i = 2 π, but a i · b j = 0 when i ≠ j. (For the formula for b i, see reciprocal lattice vector.)