Till ernående af detta mål antaga vi :att