Med antagande deraf kommer ettmedeltal