De twänne satser ,at