Att bevisa det den eller den icke varitriks