Det kan bevisas ,att