proportionslära utbytas mot en rent algebraisk behandling af samma lära?