Detta är nn en bewisad sats.