If some scientist comes to you and state "we proved that people can get hurt ridding bikes", it's fair to point out that there is little surprise about the formal proof of something so many people empirically experiment in their daily life.