rename to tex, define divisibility