är ett , blir ett delvis omöjligt ; för ben , sorn inser satsens sanning , blir ett bewis öfwerflödigt.