Huru skola vi bära oss åt med att bevisa,