Как называется общий метод, который позволяет доказывать утверждения, зависящие от целочисленных параметров?