главная мысль в доказательстве называется