Hvarje sats bevisas genom grunder ,hvil-