Då dessa satser , som sagdt ,bilda