Men af dessa följa som enkonseqvens