Att detta slags bevisning bäröfverflödar