pä det axiomet , at en rät lineaicke