Denna sats , hvilken , såsom vi funnit,