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