theorem , bevisar han detsamma genom utsagor ur detgamla