Wi förbigå här all egentlig bewisning omden