af förut funna och erkända satser,