En upplösning förutsätter , att detnu