Uitspraak: "Als elk van de benen van een hoek loodrecht staat op een van de benen van een andere hoek, dan zijn die hoeken gelijk."

Dit lijkt een goede uitspraak. Maar als je wat met de applet speelt (rode punten verplaatsen), vind je vast wel een voorbeeld waarin die uitspraak onwaar is, een "tegenvoorbeeld" . De uitspraak (een vermoeden) kan daarom geen stelling worden, hij is niet algemeen geldig.