mulna'u lujvo

n1 is an integer.


In notes:

dilcymu'o
x1 (number) is fully divisible by x2 (number) // "x1/x2" is an integer // x2 is a factor of x1
dilcysle
x1 is a prime number (a natural number greater than 1 that has no positive divisors other than 1 and itself)
kacna'u
x1 is a natural number.
mrena'u
n1 is a real number.
mulna'usle
s1=mn1 is an indivisible / prime number in integer domain s2.
mulnonmau
x1 is a positive integer