framdrager lika fläeude bewis för si » sats » r ett annat kapitel , kanske ur nästa rad.