Sålunda har en stor del satser och lagar blifvit framställda under matematisk form,