Find!
x1 is a positive integer
Or "natural number", but unlike kacna'u, doesn't include zero. See mulna'u, nonmau