Number theory

From Lojban