These are provable properties of rational numbers and positional number systems, and are not used as definitions in mathematics.
Niki inggih punika sifat sane polih kabuktiang saking wilangan rasional lan sistem wilangan posisional, lan nenten kanggen pinaka definisi ring matematika.