Detta kan bewisas ,om