  Jieao Song recently conjectured a formula for the class of a Lagrangian plane
on a hyperk\"ahler variety of $K3^{[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.
