föränderliga och bevisa tillvaronaf