>>230
x^(n-k) が一次独立であることを言えばいい。