och med matematistt bewisaS.