proportionslärans lagar och på enfulländad