Det vore obevisadt ,om