Att denna sats är riktig bevisardagliga