Statement :
is divisible by
.
The statement is True.
\Proof :
\Let
be the statement
is divisible by
.
is the statement that
is divisible by
,
is true since
which is divisible by
.
Assume
is true where
is a positive integer and we have to prove that
must be
true i.e., show that
for some integer
implies that
is divisible by
.
.
.
Multiply each side by
.

Because
and
are integers
is an integer and
is divisible by
.
Because
is true for
and
implies
.
is true for
and so on.
By the principle of mathematical induction
is divisible by
for all positive
integers of
.
By the principle of mathematical induction
is divisible by
for all positive
integers of
.