Det kan visas ,att