Den " bewisning ",