[joshzayin]

There's a more general proof at https://docs.google.com/viewer?a=v&q=cache:euFgQLUCTfwJ:... that looks reasonable at a skim.

[xk_id]

Awesome!