Математическая теория доказательств Как называется пример в математике