Huru kan det bewisas?