The components of a type ( 0,2 ) tensor, Tabβ, are defined by how they transform under a change of coordinates. The proof demonstrates that if the expression Tabβvawb is a scalar (meaning it remains unchanged during a coordinate transformation), then the components Tabβ must transform in a specific way. This transformation rule, derived from the invariance of the scalar and the known transformation laws for vectors, is the defining characteristic of a type ( 0,2 ) tensor. Essentially, the behavior of the whole (the scalar product) dictates the behavior of the parts ( Tabβ ), proving that Tabβ are indeed the components of such a tensor.