The form can be guessed because it is clear that the derivative term must vanish due to the symmetry of partial derivatives (i.e.

).

The derivation that I have shown should also be convincing proof of why the form is correct since it provides the expression for the torsion explicitly.