The first step , known as the base case , is to prove the given statement for the first natural number .
This is usually used to prove a theorem that is true for all numbers , especially natural numbers and integers .