En fundamental sats är den friainförseln