första del kan betraktas såsom antagen.