sednast f » r mitztänkte förklarade satser , , nemligen allaHamnar