Denna förklaring har Bourbaki,