införandet af någoo " rnoderff " ref.dira , då man yrkar antagandet af Decimalsys lemet.