lösning erforderliga konstruktionen skiljas från den för beviset behöfliga.