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