Fill in proof from @mikeshulman