to follow up on gus_massa's point, it's not the "math" of an evolutionary thoery/agorithm that's being "proved" here; it's the assertion that it "proves" something about the environment it's trying to model
and saying you've "proved" something about natural events is probably bad practice
and saying you've "proved" something about natural events is probably bad practice