Detta är matematistt bewisadt i en ganstawäl