Denna sats utvecklades vidare sålunda ,att