Actually it's pretty easily provable, you just need diversity numbers.

Doesn't explain the "why" though.