en bewisad sats ;ty