Det antages att , ifall