Here we present a set of rules that can be used in such transformations.
我们提出可用于这种变换的一组规则。