Divisible
In general, a number or algebraic expression is divisible by another if there exists a number or algebraic expression of a specified type for which
A natural number is divisible by a natural number if there is a natural number such that
For example, is divisible by 4 because