( edan vi nu i det föregående bevisatorik¬