iva tjcnat till lirwänanke bewis kör denna sats.