Доказательство через диагонализацию