Den kunde med antagandeaf