De » långa bewisföring , som i förklaringengår