Två satser ur denofullän¬