<ca
n> behauptung: eine katze hat 23 beine. beweis: keine katze hat 19 beine. eine katze hat 4 beine mehr als keine katze. eine katze hat demnach 23 beine.