Denna bevisning lyder sålunda: