Beviset härför är följande: