Как записывать доказательные выражения в скобках: правила и примеры