карама-каршысынан далилдөө Кыргызско-русский словарь математических терминов (1996) доказательство от противного