Men huruledes kan det bewisas,