är ett bewis för r.ktighetenaf