I teorien äro dessa satser arkända,