punkten , är den alltså antagen.