mathematical proof challenging evolution