Lagrangian planes in hyperkähler varieties of $K{3}^{[n]}$-type

Jieao Song recently conjectured a formula for the class of a Lagrangian plane on a hyperkähler variety of $K{3}^{[n]}$-type in terms of the class of a line on it. We give a proof of this conjecture if the line class is primitive.