In those cases, is something about evolutionary science proven, or is a mathematical concept proven derived from a model of evolutionary systems? We can create proofs and do real math in extending and understanding the implications of the mathematical models we use for the world, but I don't think proving anything about the behavior of the model implies any proof of the behavior of the underlying science - it suggests it's likely but proof?