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