några satser med bevis,