brukats som en ordspråkslik formel tor bekräftandet af aritmetisk riktighet.