Riktigheten af denna sats ]bevisas