Det kan bewisas ,att