Och kan det bewisas,