Если мы понятия не имеем, почему утверждение верно, мы все равно можем доказать это в индукции.