Proof for what? Smaller number of available women? That's obvious. That if larger companies hire the best of them, the remaining supply/quality will shrink? That's obvious too.
Does anyone have any actual proof that Google is aiming for 50% or to represent the general population 1-1?