Ofivanstående satser ha undermin