Två satser ur denofnllii